Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id OAA19945
for <willy@odie.barnet.ac.uk>; Mon, 25 May 1998 14:22:17 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id OAA12752
for <willy@bofh.ai>; Mon, 25 May 1998 14:22:23 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:52317 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <2504-502>; Mon, 25 May 1998 16:21:03 +0300
Received: by vger.rutgers.edu id <971309-31161>; Mon, 25 May 1998 08:43:36 -0400
Received: from tazenda.demon.co.uk ([158.152.220.239]:1191 "HELO kings-cross.london.uk.eu.org" ident: "exim") by vger.rutgers.edu with SMTP id <971307-31161>; Mon, 25 May 1998 08:43:25 -0400
Received: from kings-cross.london.uk.eu.org [127.0.0.1] (phil)
by kings-cross.london.uk.eu.org with esmtp (Exim 1.71 #1)
id 0ydw7r-0006WE-00; Mon, 25 May 1998 13:13:11 +0100
X-Mailer: exmh version 2.0zeta 7/24/97
To: Russell King - ARM Linux Admin <linux@arm.uk.linux.org>
cc: linux-arm@vger.rutgers.edu
Subject: Re: FPU Emulator
In-reply-to: Your message of "Mon, 25 May 1998 10:48:25 BST."